Convexity In Economics
   HOME

TheInfoList



OR:

Convexity is an important topic in economics. In the
Arrow–Debreu model In mathematical economics, the Arrow–Debreu model suggests that under certain economic assumptions (convex preferences, perfect competition, and demand independence) there must be a set of prices such that aggregate supplies will equal aggreg ...
of general economic equilibrium, agents have convex
budget set In economics, a budget set, or the opportunity set facing a consumer, is the set of all possible consumption bundles that the consumer can afford taking as given the prices of commodities available to the consumer and the consumer's income. Let the ...
s and
convex preferences In economics, convex preferences are an individual's ordering of various outcomes, typically with regard to the amounts of various goods consumed, with the property that, roughly speaking, "averages are better than the extremes". The concept roughly ...
: At equilibrium prices, the budget hyperplane supports the best attainable
indifference curve In economics, an indifference curve connects points on a graph representing different quantities of two goods, points between which a consumer is ''indifferent''. That is, any combinations of two products indicated by the curve will provide the c ...
. The
profit function In economics, profit maximization is the short run or long run process by which a firm may determine the price, input and output levels that will lead to the highest possible total profit (or just profit in short). In neoclassical economics, ...
is the
convex conjugate In mathematics and mathematical optimization, the convex conjugate of a function is a generalization of the Legendre transformation which applies to non-convex functions. It is also known as Legendre–Fenchel transformation, Fenchel transformation ...
of the cost function.
Convex analysis Convex analysis is the branch of mathematics devoted to the study of properties of convex functions and convex sets, often with applications in convex minimization, a subdomain of optimization theory. Convex sets A subset C \subseteq X of s ...
is the standard tool for analyzing textbook economics. Non‑convex phenomena in economics have been studied with nonsmooth analysis, which generalizes
convex analysis Convex analysis is the branch of mathematics devoted to the study of properties of convex functions and convex sets, often with applications in convex minimization, a subdomain of optimization theory. Convex sets A subset C \subseteq X of s ...
.


Preliminaries

The economics depends upon the following definitions and results from
convex geometry In mathematics, convex geometry is the branch of geometry studying convex sets, mainly in Euclidean space. Convex sets occur naturally in many areas: computational geometry, convex analysis, discrete geometry, functional analysis, geometry of numbe ...
.


Real vector spaces

A
real Real may refer to: Currencies * Brazilian real (R$) * Central American Republic real * Mexican real * Portuguese real * Spanish real * Spanish colonial real Music Albums * ''Real'' (L'Arc-en-Ciel album) (2000) * ''Real'' (Bright album) (2010) ...
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
of two
dimension In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...
s may be given a
Cartesian coordinate system A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...
in which every point is identified by a list of two real numbers, called "coordinates", which are conventionally denoted by ''x'' and ''y''. Two points in the Cartesian plane can be '' added'' coordinate-wise : (''x''1, ''y''1) + (''x''2, ''y''2) = (''x''1+''x''2, ''y''1+''y''2); further, a point can be '' multiplied'' by each real number ''λ'' coordinate-wise : ''λ'' (''x'', ''y'') = (''λx'', ''λy''). More generally, any real vector space of (finite) dimension ''D'' can be viewed as the
set Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electro ...
of all possible lists of ''D'' real numbers together with two
operation Operation or Operations may refer to: Arts, entertainment and media * ''Operation'' (game), a battery-operated board game that challenges dexterity * Operation (music), a term used in musical set theory * ''Operations'' (magazine), Multi-Ma ...
s:
vector addition In mathematics, physics, and engineering, a Euclidean vector or simply a vector (sometimes called a geometric vector or spatial vector) is a geometric object that has magnitude (or length) and direction. Vectors can be added to other vectors ac ...
and multiplication by a real number. For finite-dimensional vector spaces, the operations of vector addition and real-number multiplication can each be defined coordinate-wise, following the example of the Cartesian plane.


Convex sets

In a real vector space, a set is defined to be ''
convex Convex or convexity may refer to: Science and technology * Convex lens, in optics Mathematics * Convex set, containing the whole line segment that joins points ** Convex polygon, a polygon which encloses a convex set of points ** Convex polytope ...
'' if, for each pair of its points, every point on the
line segment In geometry, a line segment is a part of a straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. The length of a line segment is given by the Euclidean distance between ...
that joins them is
covered Cover or covers may refer to: Packaging * Another name for a lid * Cover (philately), generic term for envelope or package * Album cover, the front of the packaging * Book cover or magazine cover ** Book design ** Back cover copy, part of co ...
by the set. For example, a solid
cube In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross. The cube is the only r ...
is convex; however, anything that is hollow or dented, for example, a
crescent A crescent shape (, ) is a symbol or emblem used to represent the lunar phase in the first quarter (the "sickle moon"), or by extension a symbol representing the Moon itself. In Hinduism, Lord Shiva is often shown wearing a crescent moon on his ...
shape, is non‑convex. Trivially, the
empty set In mathematics, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other ...
is convex. More formally, a set ''Q'' is convex if, for all points ''v''0 and ''v''1 in ''Q'' and for every real number ''λ'' in the
unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysis, ...
, the point : (1 − ''λ'') ''v''0 + ''λv''1 is a
member Member may refer to: * Military jury, referred to as "Members" in military jargon * Element (mathematics), an object that belongs to a mathematical set * In object-oriented programming, a member of a class ** Field (computer science), entries in ...
of ''Q''. By
mathematical induction Mathematical induction is a method for proving that a statement ''P''(''n'') is true for every natural number ''n'', that is, that the infinitely many cases ''P''(0), ''P''(1), ''P''(2), ''P''(3), ...  all hold. Informal metaphors help ...
, a set ''Q'' is convex if and only if every
convex combination In convex geometry and vector algebra, a convex combination is a linear combination of points (which can be vectors, scalars, or more generally points in an affine space) where all coefficients are non-negative and sum to 1. In other word ...
of members of ''Q'' also belongs to ''Q''. By definition, a ''convex combination'' of an indexed subset  of a vector space is any
weighted average The weighted arithmetic mean is similar to an ordinary arithmetic mean (the most common type of average), except that instead of each of the data points contributing equally to the final average, some data points contribute more than others. The ...
  for some indexed set of non‑negative real numbers satisfying the
equation In mathematics, an equation is a formula that expresses the equality of two expressions, by connecting them with the equals sign . The word ''equation'' and its cognates in other languages may have subtly different meanings; for example, in ...
 = 1. The definition of a convex set implies that the '' intersection'' of two convex sets is a convex set. More generally, the intersection of a family of convex sets is a convex set.


Convex hull

For every subset ''Q'' of a real vector space, its is the minimal convex set that contains ''Q''. Thus Conv(''Q'') is the intersection of all the convex sets that
cover Cover or covers may refer to: Packaging * Another name for a lid * Cover (philately), generic term for envelope or package * Album cover, the front of the packaging * Book cover or magazine cover ** Book design ** Back cover copy, part of co ...
''Q''. The convex hull of a set can be equivalently defined to be the set of all convex combinations of points in ''Q''.


Duality: Intersecting half-spaces

''Supporting hyperplane'' is a concept in
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
. A
hyperplane In geometry, a hyperplane is a subspace whose dimension is one less than that of its ''ambient space''. For example, if a space is 3-dimensional then its hyperplanes are the 2-dimensional planes, while if the space is 2-dimensional, its hyper ...
divides a space into two half-spaces. A hyperplane is said to support a
set Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electro ...
S in the real ''n''-space \mathbb R^n if it meets both of the following: * S is entirely contained in one of the two closed half-spaces determined by the hyperplane * S has at least one point on the hyperplane. Here, a closed half-space is the half-space that includes the hyperplane.


Supporting hyperplane theorem

This
theorem In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of th ...
states that if S is a closed
convex set In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a convex r ...
in \mathbb R^n, and x is a point on the
boundary Boundary or Boundaries may refer to: * Border, in political geography Entertainment * ''Boundaries'' (2016 film), a 2016 Canadian film * ''Boundaries'' (2018 film), a 2018 American-Canadian road trip film *Boundary (cricket), the edge of the pla ...
of S, then there exists a supporting hyperplane containing x. The hyperplane in the theorem may not be unique, as noticed in the second picture on the right. If the closed set S is not convex, the statement of the theorem is not true at all points on the boundary of S, as illustrated in the third picture on the right.


Economics

An optimal basket of goods occurs where the consumer's convex preference set is supported by the budget constraint, as shown in the diagram. If the preference set is convex, then the consumer's set of optimal decisions is a convex set, for example, a unique optimal basket (or even a line segment of optimal baskets). For simplicity, we shall assume that the preferences of a consumer can be described by a
utility function As a topic of economics, utility is used to model worth or value. Its usage has evolved significantly over time. The term was introduced initially as a measure of pleasure or happiness as part of the theory of utilitarianism by moral philosoph ...
that is a
continuous function In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
, which implies that the preference sets are closed. (The meanings of "closed set" is explained below, in the subsection on optimization applications.)


Non-convexity

If a preference set is non‑convex, then some prices produce a budget supporting two different optimal consumption decisions. For example, we can imagine that, for zoos, a lion costs as much as an eagle, and further that a zoo's budget suffices for one eagle or one lion. We can suppose also that a zoo-keeper views either animal as equally valuable. In this case, the zoo would purchase either one lion or one eagle. Of course, a contemporary zoo-keeper does not want to purchase a half an eagle and a (or a
griffin The griffin, griffon, or gryphon (Ancient Greek: , ''gryps''; Classical Latin: ''grȳps'' or ''grȳpus''; Late Latin, Late and Medieval Latin: ''gryphes'', ''grypho'' etc.; Old French: ''griffon'') is a legendary creature with the body, tail ...
)! Thus, the contemporary zoo-keeper's preferences are non‑convex: The zoo-keeper prefers having either animal to having any strictly convex combination of both. Non‑convex sets have been incorporated in the theories of general economic equilibria, of
market failure In neoclassical economics, market failure is a situation in which the allocation of goods and services by a free market is not Pareto efficient, often leading to a net loss of economic value. Market failures can be viewed as scenarios where indiv ...
s, and of
public economics Public economics ''(or economics of the public sector)'' is the study of government policy through the lens of economic efficiency and equity. Public economics builds on the theory of welfare economics and is ultimately used as a tool to improve ...
. These results are described in graduate-level textbooks in
microeconomics Microeconomics is a branch of mainstream economics that studies the behavior of individuals and firms in making decisions regarding the allocation of scarce resources and the interactions among these individuals and firms. Microeconomics fo ...
, general equilibrium theory,
game theory Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has appli ...
, mathematical economics, and applied mathematics (for economists). The
Shapley–Folkman lemma The Shapley–Folkman  lemma is a result in convex geometry that describes the Minkowski addition of sets in a vector space. It is named after mathematicians Lloyd Shapley and Jon Folkman, but was first published by the economist Ros ...
results establish that non‑convexities are compatible with approximate equilibria in markets with many consumers; these results also apply to production economies with many small
firm A company, abbreviated as co., is a Legal personality, legal entity representing an association of people, whether Natural person, natural, Legal person, legal or a mixture of both, with a specific objective. Company members share a common p ...
s. In "
oligopolies An oligopoly (from Greek ὀλίγος, ''oligos'' "few" and πωλεῖν, ''polein'' "to sell") is a market structure in which a market or industry is dominated by a small number of large sellers or producers. Oligopolies often result from ...
" (markets dominated by a few producers), especially in "
monopolies A monopoly (from Greek el, μόνος, mónos, single, alone, label=none and el, πωλεῖν, pōleîn, to sell, label=none), as described by Irving Fisher, is a market with the "absence of competition", creating a situation where a speci ...
" (markets dominated by one producer), non‑convexities remain important.Page 1: () Concerns with large producers exploiting market power in fact initiated the literature on non‑convex sets, when Piero Sraffa wrote about on firms with increasing returns to scale in 1926, after which Harold Hotelling wrote about
marginal cost pricing In economics, the marginal cost is the change in the total cost that arises when the quantity produced is incremented, the cost of producing additional quantity. In some contexts, it refers to an increment of one unit of output, and in others it r ...
in 1938. Both Sraffa and Hotelling illuminated the
market power In economics, market power refers to the ability of a firm to influence the price at which it sells a product or service by manipulating either the supply or demand of the product or service to increase economic profit. In other words, market powe ...
of producers without competitors, clearly stimulating a literature on the supply-side of the economy. Non‑convex sets arise also with environmental goods (and other
externalities In economics, an externality or external cost is an indirect cost or benefit to an uninvolved third party that arises as an effect of another party's (or parties') activity. Externalities can be considered as unpriced goods involved in either co ...
), with
information economics Information economics or the economics of information is the branch of microeconomics that studies how information and information systems affect an economy and economic decisions. One application considers information embodied in certain types ...
, and with
stock market A stock market, equity market, or share market is the aggregation of buyers and sellers of stocks (also called shares), which represent ownership claims on businesses; these may include ''securities'' listed on a public stock exchange, as ...
s (and other
incomplete markets In economics, incomplete markets are markets in which there does not exist an Arrow–Debreu security for every possible state of nature. In contrast with complete markets, this shortage of securities will likely restrict individuals from transfer ...
). Such applications continued to motivate economists to study non‑convex sets.


Nonsmooth analysis

Economists have increasingly studied non‑convex sets with nonsmooth analysis, which generalizes
convex analysis Convex analysis is the branch of mathematics devoted to the study of properties of convex functions and convex sets, often with applications in convex minimization, a subdomain of optimization theory. Convex sets A subset C \subseteq X of s ...
. "Non‑convexities in othproduction and consumption ... required mathematical tools that went beyond convexity, and further development had to await the invention of non‑smooth calculus" (for example, Francis Clarke's locally Lipschitz calculus), as described by and ,Chapter 8 "Applications to economics", especially Section 8.5.3 "Enter nonconvexity" (and the remainder of the chapter), particularly page 495:
according to . wrote that the "major methodological innovation in the general equilibrium analysis of firms with pricing rules" was "the introduction of the methods of non‑smooth analysis, as a ynthesisof global analysis (differential topology) and fconvex analysis." According to , "Non‑smooth analysis extends the local approximation of manifolds by tangent planes nd extendsthe analogous approximation of convex sets by tangent cones to sets" that can be non‑smooth or non‑convex. Economists have also used
algebraic topology Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...
.


See also

*
Convex duality In mathematics and mathematical optimization, the convex conjugate of a function is a generalization of the Legendre transformation which applies to non-convex functions. It is also known as Legendre–Fenchel transformation, Fenchel transformati ...


Notes


References

* * * * * * * Luenberger, David G. ''Microeconomic Theory'', McGraw-Hill, Inc., New York, 1995. * * * * . * {{DEFAULTSORT:Convexity In Economics Convex hulls Convex geometry General equilibrium theory *